<?php
// Functions for generating HTML to send to the client browser.

function make_head ($html_version = "4.01 strict", $html_title = NULL, $css_file = NULL)
{
	if ($html_version = "4.01 strict")
	{
		$html_version = '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Strict//EN" "http://www.w3.org/TR/html4/strict.dtd>';
	}

	//This function makes the head of the HTML to be sent back to the user.
	if ($css_file == NULL)
	{
		$css_file = "./theme/default/default.css";
	}

		$html = 
			$html_version .
			'<html>' .
			'	<head>' .
			'		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">' .
			'		<LINK REL=StyleSheet HREF="' . $css_file . '"TITLE="8-bit Color Style" MEDIA="screen, print">' .
			'		<title>' . $html_title . '</title>' .
			'	</head>';

	return $html;
}

function make_html_foot ()
{
	$htmlfoot = "	</body></html>";
	return $htmlfoot;
}

?>

